Computation history - PDFSEARCH.IO - Document Search Engine

Computation history
Results: 27

#	Item
11	1 Astronomical computation for the history of Indian Astronomy Raymond Mercier Introduction Add to Reading List Source URL: www.raymondm.co.uk Language: English - Date: 2014-02-06 12:41:34 Hindu astrology Celestial mechanics Units of time Hindu astronomy Ecliptic Hipparchus Āryabhaṭīya Longitude Zodiac Astrology Astronomy Celestial coordinate system
12	A first-order policy language for history-based transaction monitoring Andreas Bauer, Rajeev Gor´e, and Alwen Tiu Logic and Computation Group, The Australian National University Abstract. Online trading invariably invo Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-07-15 21:40:32 Metalogic Model theory Formal languages Complexity classes Logical syntax Linear temporal logic Interpretation FO True quantified Boolean formula Logic Mathematics Mathematical logic
13	On Determinisation of History-Deterministic Automata. Denis Kuperberg Michal Skrzypczak Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-07-07 08:10:22 Computer science Finite-state machine Büchi automaton Deterministic pushdown automaton Automata theory Models of computation Theoretical computer science
14	COMPUTATION OF WAGES, ANNUAL LEAVE, COMPENSATION,OVERTIME, PUBLIC HOLIDAY 1. WAGES (REGULATION[removed]OF S.I. 34 OF[removed]HOURLY RATE Annual Salary ÷ 52 weeks ÷ hrs work per week Add to Reading List Source URL: www.employment.gov.sc Language: English - Date: 2013-08-14 03:03:39 Working time Management Business law Labor rights Labor history Overtime National Minimum Wage Act Full-time Salary Employment Employment compensation Human resource management
15	Manifesto from Dagstuhl Perspectives Workshop[removed]Computation and Palaeography: Potentials and Limits∗ Edited by Tal Hassner1 , Malte Rehbein2 , Peter A. Stokes3 , and Lior Wolf4 Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2013-07-30 04:30:50 Papyrology Language Digitizing Digital humanities Geographic information system Transcription Image analysis Science Linguistics Writing Auxiliary sciences of history Palaeography
16	C. H. Bennett Logical Reversibility of Computation* Abstract: The usual general-purpose computing automaton (e.g.. a Turing machine) is logically irreversible- its transition function lacks a single-valued inverse. Here Add to Reading List Source URL: www.math.ucsd.edu Language: English - Date: 2013-01-12 09:26:33 Theory of computation Computer science Computability theory Formal methods Reversible computing Computation history Computability Reverse computation Post–Turing machine Turing machine Models of computation Theoretical computer science
17	Volume 13 Issue 1 February 2007 Society Needs Help Add to Reading List Source URL: genealogyindy.org Language: English - Date: 2014-04-07 10:47:35 Crowdsourcing FamilySearch Indexing Human-based computation FamilySearch Indianapolis Family History Center KEM Hospital Family history society Genealogy National Road Indiana
18	Measuring Recidivism: The Criminal History Computation of the Federal Sentencing Guidelines Add to Reading List Source URL: www.ussc.gov. Language: English - Date: 2014-01-08 18:23:46 Law enforcement Law Criminal law Psychopathy Recidivism Mandatory sentencing Rehabilitation United States Federal Sentencing Guidelines Sex offender Penology Crime Criminology
19	UNITED STATES SENTENCING COMMISSION Computation of “Recency” Criminal History Points Under USSG §4A1.1(e) Add to Reading List Source URL: www.ussc.gov. Language: English - Date: 2014-01-08 18:23:46 United States federal law Criminal justice Habitual offender Recidivism United States federal probation and supervised release Law Crime United States Federal Sentencing Guidelines
20	UNITED STATES SENTENCING COMMISSION Computation of “Recency” Criminal History Points Under USSG §4A1.1(e) Add to Reading List Source URL: www.ussc.gov Language: English - Date: 2014-01-08 18:26:24 United States federal law Criminal justice Habitual offender Recidivism United States federal probation and supervised release Law Crime United States Federal Sentencing Guidelines

UPDATE